A proof outline logic for object-oriented programming
نویسندگان
چکیده
منابع مشابه
A proof outline logic for object-oriented programming
This paper describes a proof outline logic that covers most typical object-oriented language constructs in the presence of inheritance and subtyping. The logic is based on a weakest precondition calculus for assignments and object allocation which takes field shadowing into account. Dynamically bound method calls are tackled with a variant of Hoare’s rule of adaptation that deals with the dynam...
متن کاملDistributed object oriented logic programming
In this paper we introduce a programming language/system DK Parlog ++ which is an experimental testbed for distributed applications, particularly distributed AI and distributed knowledge base applications. The language is designed to have the concurrent computation ability of the Concurrent Logic Programming(CLP) languages, the knowledge representation and problem solving ability of Prolog, bot...
متن کاملMutable Object State for Object Oriented Logic Programming A Survey
One of the most di cult problems on the way to an integration of Object Oriented and Logic Programming is the modeling of changeable object state i e object dynamics in a particular logic in order not to forfeit the declarative nature of LP Classical logic is largely unsuitable for such a task because it adopts a general both temporally and spatially Platonic notion of validity whereas object s...
متن کاملNotes on proof outline logic
Formulas of Proof Outline Logic are program texts annotated with assertions. Assertions may contain control predicates as well as terms whose values depend on previous states, making the assertion language rather expressive. The logic is complete for proving safety properties of concurrent programs. A deductive system for the logic is presented. Solutions to the mutual exclusion and readers/wri...
متن کاملLogic Programming for Verification of Object-Oriented Programming Law Conditions
Programming laws are a means of stating properties of programming constructs and resoning about programs. Also, they can be viewed as a program transformation tool, being useful to restructure object-oriented programs. Usually the application of a programming law is only allowed under the satisfaction of side-conditions. In this work, we present how the conditions associated to object-oriented ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.06.018